A strengthened formulation and cutting planes for the open pit mine production scheduling problem

- Bley, Andreas; Boland, Natashia; Fricke, Christopher; Froyland, Gary